1. Automated Mathematical Induction
Author: edited by Hantao Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic.
Classification :
QA76
.
9
.
A96
E358
1996
